From f79aef67f83deb6615b96315002a61ca994ca38f Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Tue, 17 Nov 2015 21:47:02 -0500 Subject: [PATCH] HighContrast: remove deprecated style properties --- gtk/theme/HighContrast/_common.scss | 11 ----------- gtk/theme/HighContrast/gtk.css | 8 -------- 2 files changed, 19 deletions(-) diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss index fd6e91c06e..be1d243951 100644 --- a/gtk/theme/HighContrast/_common.scss +++ b/gtk/theme/HighContrast/_common.scss @@ -27,15 +27,6 @@ $ease-out-quad: cubic-bezier(0.25, 0.46, 0.45, 0.94); -GtkTreeView-horizontal-separator: 4; - -GtkMenu-horizontal-padding: 0; - -GtkMenu-vertical-padding: 0; - - -GtkWidget-link-color: $link_color; - -GtkWidget-visited-link-color: $link_color; - - -GtkWidget-focus-padding: 2; // FIXME: do we still need these? - -GtkWidget-focus-line-width: 1; // - -GtkDialog-button-spacing: 4; -GtkDialog-action-area-border: 0; @@ -1249,8 +1240,6 @@ notebook { -GtkNotebook-tab-curvature: 0; -GtkNotebook-tab-overlap: -8; -GtkNotebook-has-tab-gap: false; - -GtkWidget-focus-padding: 0; - -GtkWidget-focus-line-width: 0; // Through me you go to the grief wracked city; // Through me you go to everlasting pain; diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css index a7e0a761ab..92cf28590c 100644 --- a/gtk/theme/HighContrast/gtk.css +++ b/gtk/theme/HighContrast/gtk.css @@ -44,12 +44,6 @@ -GtkToolItemGroup-expander-size: 11; -GtkExpander-expander-size: 16; -GtkTreeView-horizontal-separator: 4; - -GtkMenu-horizontal-padding: 0; - -GtkMenu-vertical-padding: 0; - -GtkWidget-link-color: #000; - -GtkWidget-visited-link-color: #000; - -GtkWidget-focus-padding: 2; - -GtkWidget-focus-line-width: 1; -GtkDialog-button-spacing: 4; -GtkDialog-action-area-border: 0; -GtkStatusbar-shadow-type: none; @@ -1381,8 +1375,6 @@ notebook { -GtkNotebook-tab-curvature: 0; -GtkNotebook-tab-overlap: -8; -GtkNotebook-has-tab-gap: false; - -GtkWidget-focus-padding: 0; - -GtkWidget-focus-line-width: 0; padding: 0; background-color: #fff; transition: all 200ms ease-out; } -- 2.30.2